Artículo
|
Fork algebras: past, present and future
|
Frias, Marcelo F.
|
(2004)
|
|
----------
|
Artículo
|
Fork algebras in algebra, logic and computer science :
|
Frias, Marcelo F.
|
(1997)
|
|
----------
|
Tesis
|
Forks without philosophers o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó:
|
Martínez López, Pablo Ernesto
|
(1996)
|
Sala
|
----------
|
Artículo
|
Formal specification of software model evolution using contracts :
|
Pons, Claudia Fabiana
|
(2005)
|
|
----------
|
Libro
|
Formalización del proceso de desarrollo de software
|
Haeberer, Armando Martín
|
Ed. prelim.
(1988)
|
Domicilio
|
----------
|
Tesis
|
Gobstones y XGobstones: concretando lenguajes para enseñar a programar
|
Batista, Ary Pablo
|
(2014)
|
Sala
|
----------
|
Tesis
|
Heurística para TSP-2d euclideo y simétrico basadas en la triangulación de Delaunay y sus subgrafos:
|
Krasnogor, Natalio
|
(1997)
|
Sala
|
----------
|
Tesis
|
HyCom: desarrollo de aplicaciones hypermedia mediante un lenguaje especifico al dominio
|
Marcos, Daniel H.
|
(1999)
|
Sala
|
----------
|
Tesis
|
Lógica de pruebas para certificación de computación móvil:
|
Feller, Federico
|
(2009)
|
Sala
|
----------
|
Tesis
|
Menos es más: una formalización minimalista de la orientación a objetos
|
Argañaraz, Verónica
|
(1998)
|
Sala
|
----------
|